从美军"PTN"项目看前沿技术在飞行员训练体系中的应用前景

美国空军教育和训练司令部"PTN"项目即"未来飞行员训练计划"已经完成两期验证,项目重点集成了虚拟现实、增强现实、先进生理传感器、人工智能和大数据分析技术,研究了新技术对飞行员训练的适用性.项目取得了良好的效果,美军计划将该项目作为未来飞行员训练体系的重要组成部分.本文分析了"PTN"项目的 组织实施过程和实施效果,阐述了人工智能、虚拟现实、大数据等前沿技术在飞行员培训体系中的应用前景.     

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

低轨卫星缺失时序数据的模式识别方法

在航天应用中，低轨卫星经常会由于原始数据缺失而影响卫星时序数据模式识别结果，降低准确率。针对该问题提出了一种新型MR-GRU模型，可有效处理缺失时序数据，并获得较好的模式识别准确率。区别于传统模型的补全缺失数据的方法，MR-GRU模型直接在缺失时序数据上运用循环神经网络进行训练，对传统门控循环单元结构进行了改进，增加了两个新变量：掩蔽项和衰减项。掩蔽项作用于输入，衰减项作用于输入和隐层单元输出。MR-GRU模型不仅能够保持时序数据固有的时间特性，还能有效提高模式识别精度。在卫星时序数据上的模式识别试验表明，MR-GRU模型准确率优于传统模型。     

带攻角约束的高超声速飞行器自适应反步控制器设计

针对带攻角(AOA)约束的高超声速飞行器控制问题，提出一种基于非对称时变障碍函数的非线性自适应反步控制方法。首先，将飞行器模型化为严反馈形式，以反步法为基础进行控制器设计。然后通过光滑饱和函数对名义攻角指令信号进行限幅，并保证限幅信号的可导性，限幅产生的误差通过设计辅助系统进行补偿。进而使用障碍函数对攻角指令跟踪误差进行非对称时变约束。针对不确定性和干扰，设计新型自适应律对集中干扰上界进行估计并补偿。最终通过Lyapunov理论证明了闭环系统状态量一致最终有界并且攻角始终满足时变约束。仿真结果表明，本文方法能够在满足攻角约束基础上保证良好跟踪性能。     

石英谐振加速度传感器芯片设计与仿真

分体式石英谐振加速度传感器在性能提升上受到装配误差等因素的影响较大，故提出一种全石英谐振加速度计芯片结构，包括下层的硅结构和上层的石英结构。下层的硅基底仅作为支撑结构进行加工制作，敏感单元为全石英材料，硅结构与石英结构键合到一起，结构加工完成后去除硅材料，以释放石英敏感单元。整体结构为中心对称，包括质量块、音叉结构、微杠杆结构和应力分配梁，芯片通过微杠杆结构来增大传感器的灵敏度，并通过应力分配梁使石英音叉两根振梁上的内应力均匀一致。通过仿真验证了设计的有效性，仿真的差动灵敏度为35Hz/g。     

期望状态序列导向的深空探测器规划修复方法

Aiming at the challenges caused by the persistence, concurrency and energy consumption of probe actions, a plan repair method of deep space probe based on the expected state sequence is proposed. In this method, the expected state sequence is formed of the expected effect of the unfinished action and the expected precondition of the unexecuted action in the pre designed plan, according to the execution status of the action. The expected state sequence is an ordered set of states with mixed logic and energy, providing subgoals for plan repair and also transforming the plan repair problem into the state transition path searching problem. During the search, the plan repair strategy with energy supply priority is proposed, which separates the logic repair from energy repair to reduce the difficulty of solving the problem. And this method enables the probe to recover from plan failure autonomously. Finally, the effectiveness and rationality of the proposed method are verified through simulation by taking the Mars Orbiter as an example.     

利用微波探测仪(ATMS)对在轨微波辐射计观测精度的模拟分析

微波辐射计的观测精度及其对数值模式同化应用的影响评估是微波辐射计观测指标设计的重要参考。基于微波探测仪(ATMS)资料,利用三维变分同化系统模拟分析在轨微波辐射计的观测精度指标。针对ATMS观测误差特征,在其观测基础上增加均值为零、标准偏差分别为0.5,1.0,1.5,2.0K的正态随机扰动,进而获得不同精度的观测模拟值序列,然后利用Harris和Kelley的辐射资料偏差订正经验方法订正不同精度的观测资料。偏差订正后,利用三维变分同化模式(WRFDA)直接同化ATMS资料。通过2016年6月6h预报场的同化试验,评估了不同观测精度的模拟资料对数值模式的同化影响。     

Numerical Study of Parachute-Payload Land Site Distribution with Randomize Wind Gust Model

A parachute-payload model with randomize wind gust is developed to study the landing accuracy of the parachute decelerator system,which can be exactly described by the landing site distribution.The research focuses on the steady descent phase of the parachute descent process,so the parachute and the payload suspension formulation during the phase are mainly discussed.In addition,since the wind effects have a significant impact on the land site distribution of the passive decelerator system and it is difficult to obtain the exact wind profile in practice,major features of parachute-payload system are studied via the randomized wind gust formulation.As the randomized wind gust formulation is adopted,the wind effect can be considered without the exact wind gust profile and the parachute aerodynamic simulation can be fulfilled with uncertainties.Finally,the model is validated and discussed,and the parachute land site distributions with different wind randomize profiles are presented for comparison.The results show that when parachute is less stable,the land site tends to have a larger variance.     

密封舱内漂浮小球运动规律的数值模拟研究

"天宫二号"空间实验室开展了首次人机协同在轨维修技术试验,机械臂操作终端抓取漂浮小球试验为在轨试验任务之一。为研究漂浮小球与机械臂操作终端运动特性之间的匹配性,文章建立了在轨微重力环境下小球运动的物理模型与数学模型,采用动网格方法对不同小球的运动特性进行数值模拟,得到小球的运动规律,由此确定小球的设计参数范围,作为机械臂操作终端系统方案设计的依据。最终,数值模拟结果与"天宫二号"空间实验室在轨试验数据的对比初步验证了该计算结果的正确性。